extensions-app: Update group headers

Change titles to the clearer "User/System Extensions" and drop the
description.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3051>

diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui
index 32182d965e534d1244bca3a68c4638ff794ab395..71ed7a404379bf89f5d633995dad46a6643ef305 100644 (file)
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -138,8 +138,7 @@
                         </child>
                         <child>
                           <object class="AdwPreferencesGroup" id="userGroup">
-                            <property name="title" translatable="yes">Manually Installed</property>
-                            <property name="description" translatable="yes">To find and add extensions, visit &lt;a href="https://extensions.gnome.org"&gt;extensions.gnome.org&lt;/a&gt;.</property>
+                            <property name="title" translatable="yes">User Extensions</property>
                             <child>
                               <object class="GtkListBox" id="userList">
                                 <property name="selection-mode">none</property>
@@ -152,7 +151,7 @@
                         </child>
                         <child>
                           <object class="AdwPreferencesGroup" id="systemGroup">
-                            <property name="title" translatable="yes">Built-In</property>
+                            <property name="title" translatable="yes">System Extensions</property>
                             <child>
                               <object class="GtkListBox" id="systemList">
                                 <property name="selection-mode">none</property>